#include <config.h>
#include <types.h>
#include <mm/mem.h>
#include <kernel/system.h>


uint8_t kmem_pool[CONFIG_SRAM_SIZE] = {0}; 


void __attribute__((constructor)) low_level_init(void) {
    kmem_init(kmem_pool, CONFIG_SRAM_SIZE);
    eb_system_init();
}
